Normal view MARC view ISBD view

Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn

Main Author Harel, David, 1950- Coauthor Kozen, Dexter, 1951-
Tiuryn, Jerzy Country Estados Unidos. Publication Cambridge, Mass. : The MIT Press, cop. 2000 Description XV, 459 p. ; 24 cm Series Foundations of computing ISBN 0-262-08289-6 CDU 519.6

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Holdings ( 2 )
Title notes
Comments ( 0 )

Holdings
Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Monografia	Biblioteca Geral da Universidade do Minho	BGUM 519.6 - H	Available		304506
Monografia	Biblioteca Geral da Universidade do Minho	BGUM 519.6 - H	Available		310307